翻訳と辞書 Words near each other ・ Order of Battle Tianjin–Pukou Railway Operation ・ Order of Battle, Battle of Nanchang ・ Order of Battle, East African Campaign (World War II) ・ Order of Bayi ・ Order for Lifelong Restriction ・ Order for Loyalty and Merit ・ Order For Merit ・ Order for Meritorious Service ・ Order for Merits to Lithuania ・ Order for Service to the Homeland in the Armed Forces of the USSR ・ Order for the International Merit of Blood ・ Order from Chaos ・ Order fulfillment ・ Order in Council ・ Order in the Court ・ Order isomorphism ・ Order Made ・ Order management system ・ Order matching system ・ Order No. 227 ・ Order No. 270 ・ Order of 9 September 1944 ・ Order of a kernel ・ Order of a polynomial ・ Order of Abdon Calderón ・ Order of Abdulaziz al Saud ・ Order of accuracy ・ Order of acquisition ・ Order of Adolphe of Nassau ・ Order of Aeronautical Merit (Brazil) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Order isomorphism ： ウィキペディア英語版 Order isomorphism In the mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that one of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.〔; .〕 ==Definition== Formally, given two posets $(S,\backslash le\_S)$ and $(T,\backslash le\_T)$, an order isomorphism from $(S,\backslash le\_S)$ to $(T,\backslash le\_T)$ is a bijective function $f$ from $S$ to $T$ with the property that, for every $x$ and $y$ in $S$, $x\; \backslash le\_S\; y$ if and only if $f(x)\backslash le\_T\; f(y)$. That is, it is a bijective order-embedding.〔This is the definition used by . For and it is a consequence of a different definition.〕 It is also possible to define an order isomorphism to be a surjective order-embedding. The two assumptions that $f$ cover all the elements of $T$ and that it preserve orderings, are enough to ensure that $f$ is also one-to-one, for if $f(x)=f(y)$ then (by the assumption that $f$ preserves the order) it would follow that $x\backslash le\; y$ and $y\backslash le\; x$, implying by the definition of a partial order that $x=y$. Yet another characterization of order isomorphisms is that they are exactly the monotone bijections that have a monotone inverse.〔This is the definition used by and .〕 An order isomorphism from a partially ordered set to itself is called an order automorphism.〔, p. 13.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Order isomorphism」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.